| blocks | C* | p* | WVC |
|---|---|---|---|
| blocks:probBLOCKS-4-0.pddl | 6 | 0.00 | 0 |
| blocks:probBLOCKS-4-1.pddl | 10 | 1.00 | 4 |
| blocks:probBLOCKS-4-2.pddl | 6 | 0.00 | 0 |
| blocks:probBLOCKS-5-0.pddl | 12 | 0.00 | 6 |
| blocks:probBLOCKS-5-1.pddl | 10 | 1.00 | 6 |
| blocks:probBLOCKS-5-2.pddl | 16 | 1.00 | 21 |
| blocks:probBLOCKS-6-0.pddl | 12 | 0.00 | 1 |
| blocks:probBLOCKS-6-1.pddl | 10 | 0.00 | 0 |
| blocks:probBLOCKS-6-2.pddl | 20 | 0.40 | 113 |
| blocks:probBLOCKS-7-0.pddl | 20 | 1.00 | 36 |
| blocks:probBLOCKS-7-1.pddl | 22 | 0.36 | 626 |
| blocks:probBLOCKS-7-2.pddl | 20 | 1.00 | 178 |
| blocks:probBLOCKS-8-0.pddl | 18 | 0.00 | 100 |
| blocks:probBLOCKS-8-1.pddl | 20 | 0.00 | 189 |
| blocks:probBLOCKS-8-2.pddl | 16 | 0.00 | 11 |
| blocks:probBLOCKS-9-0.pddl | 30 | 1.00 | 7040 |
| blocks:probBLOCKS-9-1.pddl | 28 | 1.00 | 330 |
| blocks:probBLOCKS-9-2.pddl | 26 | 1.00 | 476 |
| blocks:probBLOCKS-10-0.pddl | 34 | 0.47 | 79812 |
| blocks:probBLOCKS-10-1.pddl | 32 | 0.38 | 18480 |
| blocks:probBLOCKS-10-2.pddl | 34 | 0.41 | 37751 |
| blocks:probBLOCKS-11-0.pddl | 32 | 0.00 | 2761 |
| blocks:probBLOCKS-11-1.pddl | 30 | 0.00 | 890 |
| blocks:probBLOCKS-11-2.pddl | 34 | 0.00 | 9394 |
| blocks:probBLOCKS-12-0.pddl | 34 | 0.00 | 3737 |
| blocks:probBLOCKS-12-1.pddl | 34 | 1.00 | 6171 |
| blocks:probBLOCKS-13-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-13-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-14-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-14-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-15-0.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-15-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-16-1.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-16-2.pddl | -1 | -1 | -1 |
| blocks:probBLOCKS-17-0.pddl | -1 | -1 | -1 |
| depot | C* | p* | WVC |
| depot:p01.pddl | 10 | 1.00 | 5 |
| depot:p02.pddl | -1 | -1 | -1 |
| depot:p03.pddl | -1 | -1 | -1 |
| depot:p04.pddl | -1 | -1 | -1 |
| depot:p05.pddl | -1 | -1 | -1 |
| depot:p06.pddl | -1 | -1 | -1 |
| depot:p07.pddl | -1 | -1 | -1 |
| depot:p08.pddl | -1 | -1 | -1 |
| depot:p09.pddl | -1 | -1 | -1 |
| depot:p10.pddl | -1 | -1 | -1 |
| depot:p11.pddl | -1 | -1 | -1 |
| depot:p12.pddl | -1 | -1 | -1 |
| depot:p13.pddl | -1 | -1 | -1 |
| depot:p14.pddl | -1 | -1 | -1 |
| depot:p15.pddl | -1 | -1 | -1 |
| depot:p16.pddl | -1 | -1 | -1 |
| depot:p17.pddl | -1 | -1 | -1 |
| depot:p18.pddl | -1 | -1 | -1 |
| depot:p19.pddl | -1 | -1 | -1 |
| depot:p20.pddl | -1 | -1 | -1 |
| depot:p21.pddl | -1 | -1 | -1 |
| depot:p22.pddl | -1 | -1 | -1 |
| driverlog | C* | p* | WVC |
| driverlog:p01.pddl | 7 | 1.00 | 3 |
| driverlog:p02.pddl | 19 | 0.00 | 5702 |
| driverlog:p03.pddl | 12 | 1.00 | 13 |
| driverlog:p04.pddl | 16 | 0.00 | 758 |
| driverlog:p05.pddl | 18 | 1.00 | 668 |
| driverlog:p06.pddl | 11 | 1.00 | 128 |
| driverlog:p07.pddl | 13 | 1.00 | 28 |
| driverlog:p08.pddl | -1 | -1 | -1 |
| driverlog:p09.pddl | -1 | -1 | -1 |
| driverlog:p10.pddl | 17 | 1.00 | 86 |
| driverlog:p11.pddl | -1 | -1 | -1 |
| driverlog:p12.pddl | -1 | -1 | -1 |
| driverlog:p13.pddl | -1 | -1 | -1 |
| driverlog:p14.pddl | -1 | -1 | -1 |
| driverlog:p15.pddl | -1 | -1 | -1 |
| driverlog:p16.pddl | -1 | -1 | -1 |
| driverlog:p17.pddl | -1 | -1 | -1 |
| driverlog:p18.pddl | -1 | -1 | -1 |
| driverlog:p19.pddl | -1 | -1 | -1 |
| driverlog:p20.pddl | -1 | -1 | -1 |
| elevators-opt08-strips | C* | p* | WVC |
| elevators-opt08-strips:p01.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p02.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p03.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p04.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p05.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p06.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p07.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p08.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p09.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p10.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p11.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p12.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p13.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p14.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p15.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p16.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p17.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p18.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p19.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p20.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p21.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p22.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p23.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p24.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p25.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p26.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p27.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p28.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p29.pddl | -1 | -1 | -1 |
| elevators-opt08-strips:p30.pddl | -1 | -1 | -1 |
| elevators-opt11-strips | C* | p* | WVC |
| elevators-opt11-strips:p01.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p02.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p03.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p04.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p05.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p06.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p07.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p08.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p09.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p10.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p11.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p12.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p13.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p14.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p15.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p16.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p17.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p18.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p19.pddl | -1 | -1 | -1 |
| elevators-opt11-strips:p20.pddl | -1 | -1 | -1 |
| floortile-opt11-strips | C* | p* | WVC |
| floortile-opt11-strips:opt-p01-001.pddl | 38 | 0.00 | 1792 |
| floortile-opt11-strips:opt-p01-002.pddl | 33 | 0.00 | 704 |
| floortile-opt11-strips:opt-p02-003.pddl | 62 | 0.00 | 18327 |
| floortile-opt11-strips:opt-p02-004.pddl | 53 | 0.00 | 8364 |
| floortile-opt11-strips:opt-p03-005.pddl | 58 | 0.00 | 9472 |
| floortile-opt11-strips:opt-p03-006.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p04-007.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p04-008.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p05-009.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p05-010.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p06-011.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p06-012.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p07-013.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p07-014.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p08-015.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p08-016.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p09-017.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p09-018.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p10-019.pddl | -1 | -1 | -1 |
| floortile-opt11-strips:opt-p10-020.pddl | -1 | -1 | -1 |
| ged-opt14-strips | C* | p* | WVC |
| ged-opt14-strips:d-1-2.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-1-3.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-1-4.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-1-8.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-2-1.pddl | 1 | 1.00 | 0 |
| ged-opt14-strips:d-2-3.pddl | 3 | 0.67 | 1693 |
| ged-opt14-strips:d-2-4.pddl | 2 | 1.00 | 76 |
| ged-opt14-strips:d-2-8.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-3-1.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-3-2.pddl | 3 | 0.67 | 1693 |
| ged-opt14-strips:d-3-4.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-4-2.pddl | 2 | 1.00 | 76 |
| ged-opt14-strips:d-4-3.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-4-8.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-7-5.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-7-6.pddl | 4 | 0.50 | 20325 |
| ged-opt14-strips:d-8-1.pddl | 4 | 0.50 | 46406 |
| ged-opt14-strips:d-8-2.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-8-4.pddl | -1 | -1 | -1 |
| ged-opt14-strips:d-8-9.pddl | -1 | -1 | -1 |
| gripper | C* | p* | WVC |
| gripper:prob01.pddl | 11 | 1.00 | 104 |
| gripper:prob02.pddl | 17 | 1.00 | 1353 |
| gripper:prob03.pddl | 23 | 0.48 | 8907 |
| gripper:prob04.pddl | 29 | 0.41 | 55799 |
| gripper:prob05.pddl | 35 | 0.49 | 298293 |
| gripper:prob06.pddl | -1 | -1 | -1 |
| gripper:prob07.pddl | -1 | -1 | -1 |
| gripper:prob08.pddl | -1 | -1 | -1 |
| gripper:prob09.pddl | -1 | -1 | -1 |
| gripper:prob10.pddl | -1 | -1 | -1 |
| gripper:prob11.pddl | -1 | -1 | -1 |
| gripper:prob12.pddl | -1 | -1 | -1 |
| gripper:prob13.pddl | -1 | -1 | -1 |
| gripper:prob14.pddl | -1 | -1 | -1 |
| gripper:prob15.pddl | -1 | -1 | -1 |
| gripper:prob16.pddl | -1 | -1 | -1 |
| gripper:prob17.pddl | -1 | -1 | -1 |
| gripper:prob18.pddl | -1 | -1 | -1 |
| gripper:prob19.pddl | -1 | -1 | -1 |
| gripper:prob20.pddl | -1 | -1 | -1 |
| hiking-opt14-strips | C* | p* | WVC |
| hiking-opt14-strips:ptesting-1-2-3.pddl | 11 | 1.00 | 268 |
| hiking-opt14-strips:ptesting-1-2-4.pddl | 17 | 1.00 | 2070 |
| hiking-opt14-strips:ptesting-1-2-5.pddl | 25 | 1.00 | 8660 |
| hiking-opt14-strips:ptesting-1-2-7.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-1-2-8.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-3.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-7.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-2-8.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-3-7.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-3.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-4.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-5.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-6.pddl | -1 | -1 | -1 |
| hiking-opt14-strips:ptesting-2-4-7.pddl | -1 | -1 | -1 |
| logistics00 | C* | p* | WVC |
| logistics00:probLOGISTICS-4-0.pddl | 20 | 1.00 | 68 |
| logistics00:probLOGISTICS-4-1.pddl | 19 | 1.00 | 188 |
| logistics00:probLOGISTICS-4-2.pddl | 15 | 1.00 | 43 |
| logistics00:probLOGISTICS-5-0.pddl | 27 | 1.00 | 923 |
| logistics00:probLOGISTICS-5-1.pddl | 17 | 1.00 | 176 |
| logistics00:probLOGISTICS-5-2.pddl | 8 | 1.00 | 0 |
| logistics00:probLOGISTICS-6-0.pddl | 25 | 1.00 | 923 |
| logistics00:probLOGISTICS-6-1.pddl | 14 | 1.00 | 28 |
| logistics00:probLOGISTICS-6-2.pddl | 25 | 1.00 | 504 |
| logistics00:probLOGISTICS-6-9.pddl | 24 | 1.00 | 524 |
| logistics00:probLOGISTICS-7-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-7-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-8-0.pddl | 31 | 1.00 | 3256 |
| logistics00:probLOGISTICS-8-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-9-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-9-1.pddl | 30 | 1.00 | 696 |
| logistics00:probLOGISTICS-10-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-10-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-11-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-11-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-12-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-12-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-13-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-13-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-14-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-14-1.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-15-0.pddl | -1 | -1 | -1 |
| logistics00:probLOGISTICS-15-1.pddl | -1 | -1 | -1 |
| miconic | C* | p* | WVC |
| miconic:s1-0.pddl | 4 | 0.00 | 0 |
| miconic:s1-1.pddl | 3 | 1.00 | 0 |
| miconic:s1-2.pddl | 4 | 0.00 | 0 |
| miconic:s1-3.pddl | 4 | 0.00 | 0 |
| miconic:s1-4.pddl | 4 | 0.00 | 0 |
| miconic:s2-0.pddl | 7 | 1.00 | 0 |
| miconic:s2-1.pddl | 7 | 1.00 | 2 |
| miconic:s2-2.pddl | 7 | 1.00 | 2 |
| miconic:s2-3.pddl | 7 | 1.00 | 0 |
| miconic:s2-4.pddl | 7 | 1.00 | 1 |
| miconic:s3-0.pddl | 10 | 1.00 | 0 |
| miconic:s3-1.pddl | 11 | 1.00 | 18 |
| miconic:s3-2.pddl | 10 | 1.00 | 1 |
| miconic:s3-3.pddl | 10 | 1.00 | 2 |
| miconic:s3-4.pddl | 10 | 1.00 | 2 |
| miconic:s4-0.pddl | 14 | 1.00 | 0 |
| miconic:s4-1.pddl | 13 | 1.00 | 0 |
| miconic:s4-2.pddl | 15 | 1.00 | 1 |
| miconic:s4-3.pddl | 15 | 1.00 | 1 |
| miconic:s4-4.pddl | 15 | 1.00 | 0 |
| miconic:s5-0.pddl | 17 | 1.00 | 0 |
| miconic:s5-1.pddl | 17 | 1.00 | 2 |
| miconic:s5-2.pddl | 15 | 1.00 | 2 |
| miconic:s5-3.pddl | 17 | 1.00 | 0 |
| miconic:s5-4.pddl | 18 | 1.00 | 1 |
| miconic:s6-0.pddl | 19 | 1.00 | 1 |
| miconic:s6-1.pddl | 19 | 1.00 | 0 |
| miconic:s6-2.pddl | 20 | 1.00 | 1 |
| miconic:s6-3.pddl | 20 | 1.00 | 127 |
| miconic:s6-4.pddl | 21 | 1.00 | 1 |
| miconic:s7-0.pddl | 23 | 1.00 | 0 |
| miconic:s7-1.pddl | 24 | 1.00 | 0 |
| miconic:s7-2.pddl | 22 | 1.00 | 0 |
| miconic:s7-3.pddl | 22 | 1.00 | 0 |
| miconic:s7-4.pddl | 25 | 1.00 | 0 |
| miconic:s8-0.pddl | -1 | -1 | -1 |
| miconic:s8-1.pddl | -1 | -1 | -1 |
| miconic:s8-2.pddl | -1 | -1 | -1 |
| miconic:s8-3.pddl | -1 | -1 | -1 |
| miconic:s8-4.pddl | -1 | -1 | -1 |
| miconic:s9-0.pddl | -1 | -1 | -1 |
| miconic:s9-1.pddl | -1 | -1 | -1 |
| miconic:s9-2.pddl | -1 | -1 | -1 |
| miconic:s9-3.pddl | -1 | -1 | -1 |
| miconic:s9-4.pddl | -1 | -1 | -1 |
| miconic:s10-0.pddl | -1 | -1 | -1 |
| miconic:s10-1.pddl | -1 | -1 | -1 |
| miconic:s10-2.pddl | -1 | -1 | -1 |
| miconic:s10-3.pddl | -1 | -1 | -1 |
| miconic:s10-4.pddl | -1 | -1 | -1 |
| miconic:s11-0.pddl | -1 | -1 | -1 |
| miconic:s11-1.pddl | -1 | -1 | -1 |
| miconic:s11-2.pddl | -1 | -1 | -1 |
| miconic:s11-3.pddl | -1 | -1 | -1 |
| miconic:s11-4.pddl | -1 | -1 | -1 |
| miconic:s12-0.pddl | -1 | -1 | -1 |
| miconic:s12-1.pddl | -1 | -1 | -1 |
| miconic:s12-2.pddl | -1 | -1 | -1 |
| miconic:s12-3.pddl | -1 | -1 | -1 |
| miconic:s12-4.pddl | -1 | -1 | -1 |
| miconic:s13-0.pddl | -1 | -1 | -1 |
| miconic:s13-1.pddl | -1 | -1 | -1 |
| miconic:s13-2.pddl | -1 | -1 | -1 |
| miconic:s13-3.pddl | -1 | -1 | -1 |
| miconic:s13-4.pddl | -1 | -1 | -1 |
| miconic:s14-0.pddl | -1 | -1 | -1 |
| miconic:s14-1.pddl | -1 | -1 | -1 |
| miconic:s14-2.pddl | -1 | -1 | -1 |
| miconic:s14-3.pddl | -1 | -1 | -1 |
| miconic:s14-4.pddl | -1 | -1 | -1 |
| miconic:s15-0.pddl | -1 | -1 | -1 |
| miconic:s15-1.pddl | -1 | -1 | -1 |
| miconic:s15-2.pddl | -1 | -1 | -1 |
| miconic:s15-3.pddl | -1 | -1 | -1 |
| miconic:s15-4.pddl | -1 | -1 | -1 |
| miconic:s16-0.pddl | -1 | -1 | -1 |
| miconic:s16-1.pddl | -1 | -1 | -1 |
| miconic:s16-2.pddl | -1 | -1 | -1 |
| miconic:s16-3.pddl | -1 | -1 | -1 |
| miconic:s16-4.pddl | -1 | -1 | -1 |
| miconic:s17-0.pddl | -1 | -1 | -1 |
| miconic:s17-1.pddl | -1 | -1 | -1 |
| miconic:s17-2.pddl | -1 | -1 | -1 |
| miconic:s17-3.pddl | -1 | -1 | -1 |
| miconic:s17-4.pddl | -1 | -1 | -1 |
| miconic:s18-0.pddl | -1 | -1 | -1 |
| miconic:s18-1.pddl | -1 | -1 | -1 |
| miconic:s18-2.pddl | -1 | -1 | -1 |
| miconic:s18-3.pddl | -1 | -1 | -1 |
| miconic:s18-4.pddl | -1 | -1 | -1 |
| miconic:s19-0.pddl | -1 | -1 | -1 |
| miconic:s19-1.pddl | -1 | -1 | -1 |
| miconic:s19-2.pddl | -1 | -1 | -1 |
| miconic:s19-3.pddl | -1 | -1 | -1 |
| miconic:s19-4.pddl | -1 | -1 | -1 |
| miconic:s20-0.pddl | -1 | -1 | -1 |
| miconic:s20-1.pddl | -1 | -1 | -1 |
| miconic:s20-2.pddl | -1 | -1 | -1 |
| miconic:s20-3.pddl | -1 | -1 | -1 |
| miconic:s20-4.pddl | -1 | -1 | -1 |
| miconic:s21-0.pddl | -1 | -1 | -1 |
| miconic:s21-1.pddl | -1 | -1 | -1 |
| miconic:s21-2.pddl | -1 | -1 | -1 |
| miconic:s21-3.pddl | -1 | -1 | -1 |
| miconic:s21-4.pddl | -1 | -1 | -1 |
| miconic:s22-0.pddl | -1 | -1 | -1 |
| miconic:s22-1.pddl | -1 | -1 | -1 |
| miconic:s22-2.pddl | -1 | -1 | -1 |
| miconic:s22-3.pddl | -1 | -1 | -1 |
| miconic:s22-4.pddl | -1 | -1 | -1 |
| miconic:s23-0.pddl | -1 | -1 | -1 |
| miconic:s23-1.pddl | -1 | -1 | -1 |
| miconic:s23-2.pddl | -1 | -1 | -1 |
| miconic:s23-3.pddl | -1 | -1 | -1 |
| miconic:s23-4.pddl | -1 | -1 | -1 |
| miconic:s24-0.pddl | -1 | -1 | -1 |
| miconic:s24-1.pddl | -1 | -1 | -1 |
| miconic:s24-2.pddl | -1 | -1 | -1 |
| miconic:s24-3.pddl | -1 | -1 | -1 |
| miconic:s24-4.pddl | -1 | -1 | -1 |
| miconic:s25-0.pddl | -1 | -1 | -1 |
| miconic:s25-1.pddl | -1 | -1 | -1 |
| miconic:s25-2.pddl | -1 | -1 | -1 |
| miconic:s25-3.pddl | -1 | -1 | -1 |
| miconic:s25-4.pddl | -1 | -1 | -1 |
| miconic:s26-0.pddl | -1 | -1 | -1 |
| miconic:s26-1.pddl | -1 | -1 | -1 |
| miconic:s26-2.pddl | -1 | -1 | -1 |
| miconic:s26-3.pddl | -1 | -1 | -1 |
| miconic:s26-4.pddl | -1 | -1 | -1 |
| miconic:s27-0.pddl | -1 | -1 | -1 |
| miconic:s27-1.pddl | -1 | -1 | -1 |
| miconic:s27-2.pddl | -1 | -1 | -1 |
| miconic:s27-3.pddl | -1 | -1 | -1 |
| miconic:s27-4.pddl | -1 | -1 | -1 |
| miconic:s28-0.pddl | -1 | -1 | -1 |
| miconic:s28-1.pddl | -1 | -1 | -1 |
| miconic:s28-2.pddl | -1 | -1 | -1 |
| miconic:s28-3.pddl | -1 | -1 | -1 |
| miconic:s28-4.pddl | -1 | -1 | -1 |
| miconic:s29-0.pddl | -1 | -1 | -1 |
| miconic:s29-1.pddl | -1 | -1 | -1 |
| miconic:s29-2.pddl | -1 | -1 | -1 |
| miconic:s29-3.pddl | -1 | -1 | -1 |
| miconic:s29-4.pddl | -1 | -1 | -1 |
| miconic:s30-0.pddl | -1 | -1 | -1 |
| miconic:s30-1.pddl | -1 | -1 | -1 |
| miconic:s30-2.pddl | -1 | -1 | -1 |
| miconic:s30-3.pddl | -1 | -1 | -1 |
| miconic:s30-4.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips | C* | p* | WVC |
| nomystery-opt11-strips:p01.pddl | 11 | 1.00 | 42 |
| nomystery-opt11-strips:p02.pddl | 14 | 1.00 | 52 |
| nomystery-opt11-strips:p03.pddl | 15 | 1.00 | 30 |
| nomystery-opt11-strips:p04.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p05.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p06.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p07.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p08.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p09.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p10.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p11.pddl | 12 | 1.00 | 70 |
| nomystery-opt11-strips:p12.pddl | 14 | 1.00 | 52 |
| nomystery-opt11-strips:p13.pddl | 15 | 1.00 | 30 |
| nomystery-opt11-strips:p14.pddl | 19 | 1.00 | 260 |
| nomystery-opt11-strips:p15.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p16.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p17.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p18.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p19.pddl | -1 | -1 | -1 |
| nomystery-opt11-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips | C* | p* | WVC |
| openstacks-opt08-strips:p01.pddl | 2 | 1.00 | 5 |
| openstacks-opt08-strips:p02.pddl | 2 | 1.00 | 81 |
| openstacks-opt08-strips:p03.pddl | 2 | 1.00 | 225 |
| openstacks-opt08-strips:p04.pddl | 3 | 1.00 | 1985 |
| openstacks-opt08-strips:p05.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p06.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p07.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p08.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p09.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p10.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p11.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p12.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p13.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p14.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p15.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p16.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p17.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p18.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p19.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p21.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p22.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p23.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p24.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p25.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p26.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p27.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p28.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p29.pddl | -1 | -1 | -1 |
| openstacks-opt08-strips:p30.pddl | -1 | -1 | -1 |
| openstacks-strips | C* | p* | WVC |
| openstacks-strips:p01.pddl | 23 | 1.00 | 1762 |
| openstacks-strips:p02.pddl | 23 | 1.00 | 2032 |
| openstacks-strips:p03.pddl | 23 | 1.00 | 1791 |
| openstacks-strips:p04.pddl | 23 | 1.00 | 1761 |
| openstacks-strips:p05.pddl | 23 | 1.00 | 1761 |
| openstacks-strips:p06.pddl | -1 | -1 | -1 |
| openstacks-strips:p07.pddl | -1 | -1 | -1 |
| openstacks-strips:p08.pddl | -1 | -1 | -1 |
| openstacks-strips:p09.pddl | -1 | -1 | -1 |
| openstacks-strips:p10.pddl | -1 | -1 | -1 |
| openstacks-strips:p11.pddl | -1 | -1 | -1 |
| openstacks-strips:p12.pddl | -1 | -1 | -1 |
| openstacks-strips:p13.pddl | -1 | -1 | -1 |
| openstacks-strips:p14.pddl | -1 | -1 | -1 |
| openstacks-strips:p15.pddl | -1 | -1 | -1 |
| openstacks-strips:p16.pddl | -1 | -1 | -1 |
| openstacks-strips:p17.pddl | -1 | -1 | -1 |
| openstacks-strips:p18.pddl | -1 | -1 | -1 |
| openstacks-strips:p19.pddl | -1 | -1 | -1 |
| openstacks-strips:p20.pddl | -1 | -1 | -1 |
| openstacks-strips:p21.pddl | -1 | -1 | -1 |
| openstacks-strips:p22.pddl | -1 | -1 | -1 |
| openstacks-strips:p23.pddl | -1 | -1 | -1 |
| openstacks-strips:p24.pddl | -1 | -1 | -1 |
| openstacks-strips:p25.pddl | -1 | -1 | -1 |
| openstacks-strips:p26.pddl | -1 | -1 | -1 |
| openstacks-strips:p27.pddl | -1 | -1 | -1 |
| openstacks-strips:p28.pddl | -1 | -1 | -1 |
| openstacks-strips:p29.pddl | -1 | -1 | -1 |
| openstacks-strips:p30.pddl | -1 | -1 | -1 |
| pegsol-08-strips | C* | p* | WVC |
| pegsol-08-strips:p01.pddl | 2 | 1.00 | 0 |
| pegsol-08-strips:p02.pddl | 5 | 1.00 | 18 |
| pegsol-08-strips:p03.pddl | 4 | 1.00 | 20 |
| pegsol-08-strips:p04.pddl | 4 | 1.00 | 18 |
| pegsol-08-strips:p05.pddl | 4 | 0.50 | 47 |
| pegsol-08-strips:p06.pddl | 4 | 1.00 | 119 |
| pegsol-08-strips:p07.pddl | 3 | 1.00 | 1 |
| pegsol-08-strips:p08.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p09.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p10.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p11.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p12.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p13.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p14.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p15.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p16.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p17.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p18.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p19.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p20.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p21.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p22.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p23.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p24.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p25.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p26.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p27.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p28.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p29.pddl | -1 | -1 | -1 |
| pegsol-08-strips:p30.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips | C* | p* | WVC |
| pegsol-opt11-strips:p01.pddl | 3 | 0.67 | 43 |
| pegsol-opt11-strips:p02.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p03.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p04.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p05.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p06.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p07.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p08.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p09.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p10.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p11.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p12.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p13.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p14.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p15.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p16.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p17.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p18.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p19.pddl | -1 | -1 | -1 |
| pegsol-opt11-strips:p20.pddl | -1 | -1 | -1 |
| psr-small | C* | p* | WVC |
| psr-small:p01-s2-n1-l2-f50.pddl | 8 | 1.00 | 6 |
| psr-small:p02-s5-n1-l3-f30.pddl | 11 | 0.55 | 34 |
| psr-small:p03-s7-n1-l3-f70.pddl | 11 | 0.00 | 20 |
| psr-small:p04-s8-n1-l4-f10.pddl | 10 | 1.00 | 41 |
| psr-small:p05-s9-n1-l4-f30.pddl | 11 | 1.00 | 48 |
| psr-small:p06-s10-n1-l4-f50.pddl | 8 | 1.00 | 6 |
| psr-small:p07-s11-n1-l4-f70.pddl | 11 | 1.00 | 44 |
| psr-small:p08-s12-n1-l5-f10.pddl | 8 | 1.00 | 18 |
| psr-small:p09-s13-n1-l5-f30.pddl | 8 | 1.00 | 12 |
| psr-small:p10-s17-n2-l2-f30.pddl | 7 | 0.00 | 17 |
| psr-small:p11-s18-n2-l2-f50.pddl | 19 | 1.00 | 138 |
| psr-small:p12-s21-n2-l3-f30.pddl | 16 | 1.00 | 108 |
| psr-small:p13-s22-n2-l3-f50.pddl | 15 | 1.00 | 81 |
| psr-small:p14-s23-n2-l3-f70.pddl | 9 | 1.00 | 14 |
| psr-small:p15-s24-n2-l4-f10.pddl | -1 | -1 | -1 |
| psr-small:p16-s29-n2-l5-f30.pddl | 25 | 1.00 | 1612 |
| psr-small:p17-s30-n2-l5-f50.pddl | 9 | 1.00 | 11 |
| psr-small:p18-s31-n2-l5-f70.pddl | 12 | 1.00 | 65 |
| psr-small:p19-s33-n3-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p20-s34-n3-l2-f50.pddl | 17 | 1.00 | 72 |
| psr-small:p21-s35-n3-l2-f70.pddl | 10 | 1.00 | 23 |
| psr-small:p22-s37-n3-l3-f30.pddl | -1 | -1 | -1 |
| psr-small:p23-s38-n3-l3-f50.pddl | 12 | 1.00 | 62 |
| psr-small:p24-s39-n3-l3-f70.pddl | 10 | 1.00 | 23 |
| psr-small:p25-s40-n3-l4-f10.pddl | -1 | -1 | -1 |
| psr-small:p26-s41-n3-l4-f30.pddl | 17 | 1.00 | 132 |
| psr-small:p27-s42-n3-l4-f50.pddl | 21 | 1.00 | 487 |
| psr-small:p28-s43-n3-l4-f70.pddl | 14 | 1.00 | 66 |
| psr-small:p29-s45-n3-l5-f30.pddl | 21 | 0.33 | 10049 |
| psr-small:p30-s46-n3-l5-f50.pddl | 22 | 0.68 | 1112 |
| psr-small:p31-s49-n4-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p32-s50-n4-l2-f50.pddl | 24 | 1.00 | 419 |
| psr-small:p33-s51-n4-l2-f70.pddl | -1 | -1 | -1 |
| psr-small:p34-s55-n4-l3-f70.pddl | 21 | 1.00 | 212 |
| psr-small:p35-s57-n5-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p36-s65-n6-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p37-s67-n6-l2-f70.pddl | -1 | -1 | -1 |
| psr-small:p38-s78-n3-l3-f50.pddl | 13 | 1.00 | 202 |
| psr-small:p39-s79-n3-l3-f70.pddl | 23 | 1.00 | 1589 |
| psr-small:p40-s80-n3-l4-f10.pddl | -1 | -1 | -1 |
| psr-small:p41-s81-n3-l4-f30.pddl | 10 | 1.00 | 26 |
| psr-small:p42-s82-n3-l4-f50.pddl | -1 | -1 | -1 |
| psr-small:p43-s83-n3-l4-f70.pddl | 20 | 1.00 | 304 |
| psr-small:p44-s89-n4-l2-f30.pddl | 19 | 0.58 | 1995 |
| psr-small:p45-s94-n4-l3-f50.pddl | 20 | 1.00 | 306 |
| psr-small:p46-s97-n5-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p47-s98-n5-l2-f50.pddl | -1 | -1 | -1 |
| psr-small:p48-s101-n5-l3-f30.pddl | -1 | -1 | -1 |
| psr-small:p49-s105-n6-l2-f30.pddl | -1 | -1 | -1 |
| psr-small:p50-s107-n6-l2-f70.pddl | -1 | -1 | -1 |
| rovers | C* | p* | WVC |
| rovers:p01.pddl | 10 | 1.00 | 26 |
| rovers:p02.pddl | 8 | 1.00 | 4 |
| rovers:p03.pddl | 11 | 1.00 | 17 |
| rovers:p04.pddl | 8 | 1.00 | 0 |
| rovers:p05.pddl | -1 | -1 | -1 |
| rovers:p06.pddl | -1 | -1 | -1 |
| rovers:p07.pddl | -1 | -1 | -1 |
| rovers:p08.pddl | -1 | -1 | -1 |
| rovers:p09.pddl | -1 | -1 | -1 |
| rovers:p10.pddl | -1 | -1 | -1 |
| rovers:p11.pddl | -1 | -1 | -1 |
| rovers:p12.pddl | -1 | -1 | -1 |
| rovers:p13.pddl | -1 | -1 | -1 |
| rovers:p14.pddl | -1 | -1 | -1 |
| rovers:p15.pddl | -1 | -1 | -1 |
| rovers:p16.pddl | -1 | -1 | -1 |
| rovers:p17.pddl | -1 | -1 | -1 |
| rovers:p18.pddl | -1 | -1 | -1 |
| rovers:p19.pddl | -1 | -1 | -1 |
| rovers:p20.pddl | -1 | -1 | -1 |
| rovers:p21.pddl | -1 | -1 | -1 |
| rovers:p22.pddl | -1 | -1 | -1 |
| rovers:p23.pddl | -1 | -1 | -1 |
| rovers:p24.pddl | -1 | -1 | -1 |
| rovers:p25.pddl | -1 | -1 | -1 |
| rovers:p26.pddl | -1 | -1 | -1 |
| rovers:p27.pddl | -1 | -1 | -1 |
| rovers:p28.pddl | -1 | -1 | -1 |
| rovers:p29.pddl | -1 | -1 | -1 |
| rovers:p30.pddl | -1 | -1 | -1 |
| rovers:p31.pddl | -1 | -1 | -1 |
| rovers:p32.pddl | -1 | -1 | -1 |
| rovers:p33.pddl | -1 | -1 | -1 |
| rovers:p34.pddl | -1 | -1 | -1 |
| rovers:p35.pddl | -1 | -1 | -1 |
| rovers:p36.pddl | -1 | -1 | -1 |
| rovers:p37.pddl | -1 | -1 | -1 |
| rovers:p38.pddl | -1 | -1 | -1 |
| rovers:p39.pddl | -1 | -1 | -1 |
| rovers:p40.pddl | -1 | -1 | -1 |
| satellite | C* | p* | WVC |
| satellite:p01-pfile1.pddl | 9 | 1.00 | 2 |
| satellite:p02-pfile2.pddl | 13 | 1.00 | 2 |
| satellite:p03-pfile3.pddl | 11 | 1.00 | 5 |
| satellite:p04-pfile4.pddl | 17 | 1.00 | 0 |
| satellite:p05-pfile5.pddl | -1 | -1 | -1 |
| satellite:p06-pfile6.pddl | -1 | -1 | -1 |
| satellite:p07-pfile7.pddl | -1 | -1 | -1 |
| satellite:p08-pfile8.pddl | -1 | -1 | -1 |
| satellite:p09-pfile9.pddl | -1 | -1 | -1 |
| satellite:p10-pfile10.pddl | -1 | -1 | -1 |
| satellite:p11-pfile11.pddl | -1 | -1 | -1 |
| satellite:p12-pfile12.pddl | -1 | -1 | -1 |
| satellite:p13-pfile13.pddl | -1 | -1 | -1 |
| satellite:p14-pfile14.pddl | -1 | -1 | -1 |
| satellite:p15-pfile15.pddl | -1 | -1 | -1 |
| satellite:p16-pfile16.pddl | -1 | -1 | -1 |
| satellite:p17-pfile17.pddl | -1 | -1 | -1 |
| satellite:p18-pfile18.pddl | -1 | -1 | -1 |
| satellite:p19-pfile19.pddl | -1 | -1 | -1 |
| satellite:p20-pfile20.pddl | -1 | -1 | -1 |
| satellite:p21-HC-pfile1.pddl | -1 | -1 | -1 |
| satellite:p22-HC-pfile2.pddl | -1 | -1 | -1 |
| satellite:p23-HC-pfile3.pddl | -1 | -1 | -1 |
| satellite:p24-HC-pfile4.pddl | -1 | -1 | -1 |
| satellite:p25-HC-pfile5.pddl | -1 | -1 | -1 |
| satellite:p26-HC-pfile6.pddl | -1 | -1 | -1 |
| satellite:p27-HC-pfile7.pddl | -1 | -1 | -1 |
| satellite:p28-HC-pfile8.pddl | -1 | -1 | -1 |
| satellite:p29-HC-pfile9.pddl | -1 | -1 | -1 |
| satellite:p30-HC-pfile10.pddl | -1 | -1 | -1 |
| satellite:p31-HC-pfile11.pddl | -1 | -1 | -1 |
| satellite:p32-HC-pfile12.pddl | -1 | -1 | -1 |
| satellite:p33-HC-pfile13.pddl | -1 | -1 | -1 |
| satellite:p34-HC-pfile14.pddl | -1 | -1 | -1 |
| satellite:p35-HC-pfile15.pddl | -1 | -1 | -1 |
| satellite:p36-HC-pfile16.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips | C* | p* | WVC |
| scanalyzer-08-strips:p01.pddl | 18 | 0.00 | 0 |
| scanalyzer-08-strips:p02.pddl | 22 | 1.00 | 2278 |
| scanalyzer-08-strips:p03.pddl | 26 | 0.00 | 16526 |
| scanalyzer-08-strips:p04.pddl | 24 | 0.00 | 0 |
| scanalyzer-08-strips:p05.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p06.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p07.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p08.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p09.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p10.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p11.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p12.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p13.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p14.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p15.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p16.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p17.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p18.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p19.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p20.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p21.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p22.pddl | 13 | 1.00 | 2 |
| scanalyzer-08-strips:p23.pddl | 13 | 1.00 | 2 |
| scanalyzer-08-strips:p24.pddl | 13 | 1.00 | 2 |
| scanalyzer-08-strips:p25.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p26.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p27.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p28.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p29.pddl | -1 | -1 | -1 |
| scanalyzer-08-strips:p30.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips | C* | p* | WVC |
| scanalyzer-opt11-strips:p01.pddl | 13 | 1.00 | 2 |
| scanalyzer-opt11-strips:p02.pddl | 22 | 1.00 | 2278 |
| scanalyzer-opt11-strips:p03.pddl | 26 | 0.00 | 16526 |
| scanalyzer-opt11-strips:p04.pddl | 24 | 0.00 | 0 |
| scanalyzer-opt11-strips:p05.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p06.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p07.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p08.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p09.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p10.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p11.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p12.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p13.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p14.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p15.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p16.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p17.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p18.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p19.pddl | -1 | -1 | -1 |
| scanalyzer-opt11-strips:p20.pddl | -1 | -1 | -1 |
| storage | C* | p* | WVC |
| storage:p01.pddl | 3 | 1.00 | 0 |
| storage:p02.pddl | 3 | 1.00 | 0 |
| storage:p03.pddl | 3 | 1.00 | 0 |
| storage:p04.pddl | 8 | 1.00 | 7 |
| storage:p05.pddl | -1 | -1 | -1 |
| storage:p06.pddl | -1 | -1 | -1 |
| storage:p07.pddl | -1 | -1 | -1 |
| storage:p08.pddl | -1 | -1 | -1 |
| storage:p09.pddl | -1 | -1 | -1 |
| storage:p10.pddl | -1 | -1 | -1 |
| storage:p11.pddl | -1 | -1 | -1 |
| storage:p12.pddl | -1 | -1 | -1 |
| storage:p13.pddl | -1 | -1 | -1 |
| storage:p14.pddl | -1 | -1 | -1 |
| storage:p15.pddl | -1 | -1 | -1 |
| storage:p16.pddl | -1 | -1 | -1 |
| storage:p17.pddl | -1 | -1 | -1 |
| storage:p18.pddl | -1 | -1 | -1 |
| storage:p19.pddl | -1 | -1 | -1 |
| storage:p20.pddl | -1 | -1 | -1 |
| storage:p21.pddl | -1 | -1 | -1 |
| storage:p22.pddl | -1 | -1 | -1 |
| storage:p23.pddl | -1 | -1 | -1 |
| storage:p24.pddl | -1 | -1 | -1 |
| storage:p25.pddl | -1 | -1 | -1 |
| storage:p26.pddl | -1 | -1 | -1 |
| storage:p27.pddl | -1 | -1 | -1 |
| storage:p28.pddl | -1 | -1 | -1 |
| storage:p29.pddl | -1 | -1 | -1 |
| storage:p30.pddl | -1 | -1 | -1 |
| termes-opt18-strips | C* | p* | WVC |
| termes-opt18-strips:p01.pddl | 36 | 0.47 | 26043 |
| termes-opt18-strips:p02.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p03.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p04.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p05.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p06.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p07.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p08.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p09.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p10.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p11.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p12.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p13.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p14.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p15.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p16.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p17.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p18.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p19.pddl | -1 | -1 | -1 |
| termes-opt18-strips:p20.pddl | -1 | -1 | -1 |
| tpp | C* | p* | WVC |
| tpp:p01.pddl | 5 | 1.00 | 1 |
| tpp:p02.pddl | 8 | 1.00 | 1 |
| tpp:p03.pddl | 11 | 1.00 | 1 |
| tpp:p04.pddl | 14 | 1.00 | 1 |
| tpp:p05.pddl | -1 | -1 | -1 |
| tpp:p06.pddl | -1 | -1 | -1 |
| tpp:p07.pddl | -1 | -1 | -1 |
| tpp:p08.pddl | -1 | -1 | -1 |
| tpp:p09.pddl | -1 | -1 | -1 |
| tpp:p10.pddl | -1 | -1 | -1 |
| tpp:p11.pddl | -1 | -1 | -1 |
| tpp:p12.pddl | -1 | -1 | -1 |
| tpp:p13.pddl | -1 | -1 | -1 |
| tpp:p14.pddl | -1 | -1 | -1 |
| tpp:p15.pddl | -1 | -1 | -1 |
| tpp:p16.pddl | -1 | -1 | -1 |
| tpp:p17.pddl | -1 | -1 | -1 |
| tpp:p18.pddl | -1 | -1 | -1 |
| tpp:p19.pddl | -1 | -1 | -1 |
| tpp:p20.pddl | -1 | -1 | -1 |
| tpp:p21.pddl | -1 | -1 | -1 |
| tpp:p22.pddl | -1 | -1 | -1 |
| tpp:p23.pddl | -1 | -1 | -1 |
| tpp:p24.pddl | -1 | -1 | -1 |
| tpp:p25.pddl | -1 | -1 | -1 |
| tpp:p26.pddl | -1 | -1 | -1 |
| tpp:p27.pddl | -1 | -1 | -1 |
| tpp:p28.pddl | -1 | -1 | -1 |
| tpp:p29.pddl | -1 | -1 | -1 |
| tpp:p30.pddl | -1 | -1 | -1 |
| transport-opt08-strips | C* | p* | WVC |
| transport-opt08-strips:p01.pddl | 54 | 1.00 | 1 |
| transport-opt08-strips:p02.pddl | 131 | 1.00 | 30 |
| transport-opt08-strips:p03.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p11.pddl | 456 | 1.00 | 12 |
| transport-opt08-strips:p12.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p20.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p21.pddl | 478 | 1.00 | 11 |
| transport-opt08-strips:p22.pddl | 632 | 1.00 | 478 |
| transport-opt08-strips:p23.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p24.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p25.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p26.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p27.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p28.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p29.pddl | -1 | -1 | -1 |
| transport-opt08-strips:p30.pddl | -1 | -1 | -1 |
| transport-opt11-strips | C* | p* | WVC |
| transport-opt11-strips:p01.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p02.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p03.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p11.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p12.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt11-strips:p20.pddl | -1 | -1 | -1 |
| transport-opt14-strips | C* | p* | WVC |
| transport-opt14-strips:p01.pddl | 148 | 1.00 | 403 |
| transport-opt14-strips:p02.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p03.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p04.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p05.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p06.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p07.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p08.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p09.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p10.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p11.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p12.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p13.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p14.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p15.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p16.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p17.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p18.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p19.pddl | -1 | -1 | -1 |
| transport-opt14-strips:p20.pddl | -1 | -1 | -1 |
| trucks-strips | C* | p* | WVC |
| trucks-strips:p01.pddl | 13 | 1.00 | 93 |
| trucks-strips:p02.pddl | 17 | 1.00 | 511 |
| trucks-strips:p03.pddl | -1 | -1 | -1 |
| trucks-strips:p04.pddl | -1 | -1 | -1 |
| trucks-strips:p05.pddl | -1 | -1 | -1 |
| trucks-strips:p06.pddl | -1 | -1 | -1 |
| trucks-strips:p07.pddl | -1 | -1 | -1 |
| trucks-strips:p08.pddl | -1 | -1 | -1 |
| trucks-strips:p09.pddl | -1 | -1 | -1 |
| trucks-strips:p10.pddl | -1 | -1 | -1 |
| trucks-strips:p11.pddl | -1 | -1 | -1 |
| trucks-strips:p12.pddl | -1 | -1 | -1 |
| trucks-strips:p13.pddl | -1 | -1 | -1 |
| trucks-strips:p14.pddl | -1 | -1 | -1 |
| trucks-strips:p15.pddl | -1 | -1 | -1 |
| trucks-strips:p16.pddl | -1 | -1 | -1 |
| trucks-strips:p17.pddl | -1 | -1 | -1 |
| trucks-strips:p18.pddl | -1 | -1 | -1 |
| trucks-strips:p19.pddl | -1 | -1 | -1 |
| trucks-strips:p20.pddl | -1 | -1 | -1 |
| trucks-strips:p21.pddl | -1 | -1 | -1 |
| trucks-strips:p22.pddl | -1 | -1 | -1 |
| trucks-strips:p23.pddl | -1 | -1 | -1 |
| trucks-strips:p24.pddl | -1 | -1 | -1 |
| trucks-strips:p25.pddl | -1 | -1 | -1 |
| trucks-strips:p26.pddl | -1 | -1 | -1 |
| trucks-strips:p27.pddl | -1 | -1 | -1 |
| trucks-strips:p28.pddl | -1 | -1 | -1 |
| trucks-strips:p29.pddl | -1 | -1 | -1 |
| trucks-strips:p30.pddl | -1 | -1 | -1 |
| zenotravel | C* | p* | WVC |
| zenotravel:p01.pddl | 1 | 0.00 | 0 |
| zenotravel:p02.pddl | 6 | 1.00 | 12 |
| zenotravel:p03.pddl | 6 | 1.00 | 2 |
| zenotravel:p04.pddl | 8 | 1.00 | 13 |
| zenotravel:p05.pddl | 11 | 1.00 | 0 |
| zenotravel:p06.pddl | 11 | 1.00 | 0 |
| zenotravel:p07.pddl | 15 | 1.00 | 608 |
| zenotravel:p08.pddl | -1 | -1 | -1 |
| zenotravel:p09.pddl | -1 | -1 | -1 |
| zenotravel:p10.pddl | -1 | -1 | -1 |
| zenotravel:p11.pddl | -1 | -1 | -1 |
| zenotravel:p12.pddl | -1 | -1 | -1 |
| zenotravel:p13.pddl | -1 | -1 | -1 |
| zenotravel:p14.pddl | -1 | -1 | -1 |
| zenotravel:p15.pddl | -1 | -1 | -1 |
| zenotravel:p16.pddl | -1 | -1 | -1 |
| zenotravel:p17.pddl | -1 | -1 | -1 |
| zenotravel:p18.pddl | -1 | -1 | -1 |
| zenotravel:p19.pddl | -1 | -1 | -1 |
| zenotravel:p20.pddl | -1 | -1 | -1 |